(0 7 3)(1 16 6)(2 14 11)(4 12 5)(8 13 10)(9 17 15)
ALLOWS (11/8)-SEQUENCE
1: (6 12 16)
(0 7 3)(1 16 5 4 12)(2 14 11)(6)(8 13 10)(9 17 15)
2: (9 17 15)
(0 7 3)(1 16 5 4 12)(2 14 11)(6)(8 13 10)(9)(15)(17)
3: (1 4 12)
(0 7 3)(1)(2 14 11)(4 16 5)(6)(8 13 10)(9)(12)(15)(17)
4: (8 13 10)
(0 7 3)(1)(2 14 11)(4 16 5)(6)(8)(9)(10)(12)(13)(15)(17)